翻訳と辞書
Words near each other
・ FuncJS
・ Funck
・ Funcke
・ Funckens Gränd
・ Funcom
・ Funcrusher
・ Funcrusher Plus
・ Functio laesa
・ Function
・ Function (biology)
・ Function (engineering)
・ Function (mathematics)
・ Function (musician)
・ Function (song)
・ Function and Concept
Function application
・ Function approximation
・ Function at the Junction
・ Function block diagram
・ Function composition
・ Function composition (computer science)
・ Function cost analysis
・ Function Drinks
・ Function field
・ Function field (scheme theory)
・ Function field of an algebraic variety
・ Function field sieve
・ Function generator
・ Function hall
・ Function key


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Function application : ウィキペディア英語版
Function application

In mathematics, function application is the act of applying a function to an argument from its domain so as to obtain the corresponding value from its range.
==Representation==
Function application is usually depicted by juxtaposing the variable representing the function with its argument encompassed in parentheses. For example, the following expression represents the application of the function ''ƒ'' to its argument ''x''.
:f(x) \,
In some instances, a different notation is used where the parentheses aren't required, and function application can be expressed just by juxtaposition. For example, the following expression can be considered the same as the previous one:
:f\; x
The latter notation is especially useful in combination with the currying isomorphism. Given a function f : (X \times Y) \to Z, its application is represented as f(x, y)\! by the former notation and f \; \langle x, y \rangle by the latter. However, functions in curried form f : X \to (Y \to Z) can be represented by juxtaposing their arguments: f\; x \; y, rather than f(x)(y). This relies on function application being left-associative.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Function application」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.